The config file is created by our own create-toolbox.sh script which
sets the DEFAULT_TOOLBOX name. But for toolboxes created directly
that file doesn't exist, so let's skip over that (and thus require
the toolbox name to be given on the commandline or via an env var).
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/4152>
}
# load defaults
-. $CONFIG_FILE
+if [[ -e "$CONFIG_FILE" ]]; then
+ . $CONFIG_FILE
+fi
TOOLBOX=$DEFAULT_TOOLBOX
TEMP=$(getopt \
}
# load defaults
-. $CONFIG_FILE
+if [[ -e "$CONFIG_FILE" ]]; then
+ . $CONFIG_FILE
+fi
TOOLBOX=$DEFAULT_TOOLBOX
TEMP=$(getopt \
}
# load defaults
-. $CONFIG_FILE
+if [[ -e "$CONFIG_FILE" ]]; then
+ . $CONFIG_FILE
+fi
TOOLBOX=$DEFAULT_TOOLBOX
SHELL_ENV=(XDG_CURRENT_DESKTOP=GNOME)
}
# load defaults
-. $CONFIG_FILE
+if [[ -e "$CONFIG_FILE" ]]; then
+ . $CONFIG_FILE
+fi
TOOLBOX=$DEFAULT_TOOLBOX
TEMP=$(getopt \